Premonoidal categories as categories with algebraic structure
نویسندگان
چکیده
منابع مشابه
Directed Algebraic Topology, Categories and Higher Categories
Directed Algebraic Topology is a recent field, deeply linked with Category Theory. A ‘directed space’ has directed homotopies (generally non reversible), directed homology groups (enriched with a preorder) and fundamental n-categories (replacing the fundamental ngroupoids of the classical case). On the other hand, directed homotopy can give geometric models for lax higher categories. Applicatio...
متن کاملON ALGEBRAIC AND COALGEBRAIC CATEGORIES OF VARIETY-BASED TOPOLOGICAL SYSTEMS
Motivated by the recent study on categorical properties of latticevalued topology, the paper considers a generalization of the notion of topological system introduced by S. Vickers, providing an algebraic and a coalgebraic category of the new structures. As a result, the nature of the category TopSys of S. Vickers gets clari ed, and a metatheorem is stated, claiming that (latticevalu...
متن کاملRestriction categories as enriched categories
Article history: Received 27 November 2012 Received in revised form 4 September 2013 Accepted 20 December 2013 Communicated by B.P.F. Jacobs
متن کاملSlices of Essentially Algebraic Categories
This paper is a contribution to the theory of functor slices of J. Sichler and V. Trnková. For every ordinal α we introduce a basket Eα, prove that every essentially algebraic category of height α is a slice of Eα, characterize small slices of Eα and give a common generalization of known results about slices of the algebraic basket A.
متن کاملDefining Algebraic Categories in Mathematica
The paper deals with defining abstract algebraic structures in symbolic computation systems. By adopting a parameterized and object oriented approach, the categories defined for the algebraic structures will be particularized in specific domains. This approach has a good deal of efficiency, conceptual and practical advantages. The paper introduces constructive and algorithmic definitions for th...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 2002
ISSN: 0304-3975
DOI: 10.1016/s0304-3975(00)00340-6